Or maybe annotating with spec would be enough? I don't have strong opinion on the variable name.