Realised the need to exploit the full structure of Fam(Rel).