NJU-AIA
sprite
Practice is the Sole Criterion for Testing Truth.