WYCS: thinking through the issue of inline function axioms.