
theory B = Pure:;

end;
