We don't allow head-only formulae into core; is there a tagged version for this?