page = blog :: brent -> [string] url = https://byorgey.wordpress.com analysed @ 2022-02-03 04:18 UTC Avoiding the axiom of choice, part I