I feel a bit conflicted about the ":=" but I can see the design decisions that were made. To me := is still the assignment operation or "equal by definition" or whatever and = is equals, well.. and = is the assignment operator in programming and == is equals lol. I don't know how mathematicians and physicists feel about learning about := in python.