notes on call_decl_thm statement

with magnus