ForAll related domains (2)