Are these four assertion logically compatible?