Template:Lie ring metaproperty satisfaction