RMC Logo - Formal Complete