CyberMut: more standard form