testing p-asserted-identity