Template:Subloop property non-implication