The Deductive Spreadsheet