4.0 (TODO: InteractiveChecker)