High-level QM/MM calculations support the concerted mechanism for Michael addition and covalent complex formation in thymidylate synthase.