@jacqueline@chaos.social Now that's what I call proof-by-induction