let pe ?fragment_id a b = (fragment_id, PE (a, b))