Template:Magma property implication