[ICLP'16] banquet puzzles