Fair, I think of this as advanced logic, and those concepts (and that notation) as prerequisite.