add sample graph/theorem/derivation