Self-Check: Theoretical Perspectives