Implentation MUSTs from M. Mekking