// pub

structural reasoning heuristics