← headformula