according to prof, logic for yesterday's proof is wrong. today: experiment with poly. lists, read func defs