Added some thinking about similarity between Alloy and relation calculus.