Category:Valid logical methods