const_defined_recursively?