P2 has type (is type of) in Version 6.0