DiamondsAndCalculus