Towards an Understanding of Girard's Transcendental Syntax: Syntax by Testing