Added option to vocabulary
Very quick draft explaining the solvers