ecase rule
ecase rule
allow p to be t