Principled Transformers for Predictive Performance in Knowledge Tracing | Synapse