P v 1 * 0 ( j!