modified while spec