Re: [ICLP'16] banquet puzzles