change top constraint to  geEnergy (bound p s) (maxbound p)