Brendan Dawes
The Art of Form and Code
Quick sketch of Boolean growth test