(2.4) whoami(X) will succeed if it takes a list of even length. If (length(List) mod 2 =:= 0) is true, whoami(X) will hold.