Specification Update and Basic Redesign