Engagement without attainment? Exploring AI-assisted language learning through SLA theories | Synapse