If it is true that distinction in general relates being to difference, formal distinction and modal distinction are two types under which univocal being is related, by itself, to difference in itself.