s: {X, Y} -> {algol, father(me,dad)}
 such that s[[X]] = algol,
	   s[[Y]] = father(me,dad).
empty: {} -> {}
counterexample: bad: {X} -> {X}


father(me,dad) instance of father(X,dad)