Template:Topospace property non-implication