Specification representation initial contribution