https://filesoo.com/product/38339/decidability-and-boolean-representations