forcing p193