[math-fun] two more denestings