Template:Class by covenant