at https://youtu.be/dtGzfYvBn3w?t=6346 there is a slide, saying: > • DO NOT use check, instrument or (turn on) assert in production > • they are for making sure your program works - use in advance > • but spec can play a runtime role > • validating inputs from external systems or users The args conformance and exception throwing feature of instrument seems like a very useful guard to have even for production code, especially, when it's checking relationships between the input arguments. It would help us pinpoint code-paths in our code, which is not covered by tests or specs. Q1: what does "validating inputs from external systems or users" refer to? using function :pre [...] conditions? what spec functions should i use, if not s/assert? it seems like that the unconditional s/assert* was made to be used in :pre` conditions... Q2: is there a way to do something like instrument, but only for checking :args, so i wouldn't need to repeat such logic as function :pre conditions?