---
note: Discrete math