LaNe + Maude + Fixmer - set 08