Updated specifications with statements.