~ p X ZFCl