proof: a formal series of statements showing that if one thing is true something else necessarily follows from it
potluck: whatever happens to be available especially when offered to an unexpected guest or when brought by guests and shared by all