Comments on Logic puzzle 001