Inlined specification