Clear-Cut Methods For 1checker – An Introduction