Remove postulate.