Alan Partee alanpartee822