make strong assumption on f(){}(arg)(arg)