an attempt at making a toy proof checker for experimental purposes