f !p , -f.