SFC-2008: 20.12.20SarajanaProofs 6p