cons in spec <=> :: in program