Please cite using these guidelines. What are the next steps in teaching foundation models formal reasoning and using them?