Diff By First Principles