proof checker basics