Proof naturals can still be pretty 😜