Here are some screenshots taken during testing. Enjoy it.
1.0v Text based version
Logic and mathematics seem to be the only domains where self-evidence manages to rise above triviality;
and this it does, in those domains, by a linking of self-evidence on to self-evidence in the chain reaction known as proof.