Puzzles solved by Portico de Salomon