Drop HYPOTHESIS-P (we never use it).