Some semantic consistency