Prove libere related domains (2)