Thesis Assertion Generator