sub(p, q)