Sweeping Contract Specifications