Puzzles solved by EDKV