General Precondition 9