Renamed LessNat.diffP and diff to diff and diff!