Rough conclusion
Equation updates
Reminder to include defdisj runs as a table