Emptyset – PA'