The rank condition isn't verified. What caused this problem?