Mace2 Examples