General purpose, hand-written, dedukti files