Rewrote specification