Automating trials-by-written-declaration - View it on GitHub