Introduction to JudoScript