rename method prove(), change accessibility
add a parameter to switch LK or LJ
set font to MONOSPACED
add checkboxes