[P3]-> != =>