4-14-89		Bernard Pfahring reported an error in 2.86.

4.13 p = ~~p is missing!
4.2  p = p is also missing!
4.24 
4.25 are also missing!