ProveIt, rewritten in Java using LibGDX!