‘If you can’t dance your program, you can’t write it’: Challenges and Implications for AI in Education | Synapse