First specifications for analysis passing