Should implement the basic inner product arguments proof. Then design the puzzles learner should solve.