Pinocchio domain expansion Lies of P