Excluded-middle related domains (1)