Changed assert ! to refute