Postulate is broken