RMC - Logo - Formal Complete