 The semantic theory is a procedural one, according to which sense is an abstract, pre-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure.TIL procedures, known as "constructions", are hyperintensionally individuated.Construction is the single most important notion of Transparent Intensional Logic, being a philosophically well-motivated and formally worked-out conception of Frege’s notion of mode of presentation.