placeholders
fixed partial function application for formula