Inside Convenient Systems In 1checker