Κατηγορική CS4 Λογική - Μαρντιροσιάν, Κοάρ Σ. (N/A, 1970)