TSTP solutions and first-order signatures.
Load the new stuff.