
theory D = Pure:;

end;
