P2 has type (is type of) in Version 5.0.2