theory D imports Pure
begin

end
