@User uploaded a file: Untitled and commented: Hello, I'm working with this method from Svetlana Isakova's 'You Can Do Better With Kotlin' talk. My question is, can you extract degreesF from the cases despite the fact that one side of the inequality is initially unbounded?