added a 'precedes' function to Proposal