theory D imports Pure
begin

end