Studying probability right now and seeing how the powerset mobius function immediately implies the inclusion-exclusion formula is pretty cool. Thanks for this!