Followed by PhB_le_vrai