:0 =0 - P tf)