Term: isaac and joseph
Example: isaac and joseph are true dfl's
Definition: a true dfl combination