It's sort of not working

Need to write the verification
Also need to double check the recursive/generator stuff is working