theory B = Pure:;

end;