Logic-implement related domains (1)