theory D = Pure:;

end;