Review for NeurIPS paper: A Boolean Task Algebra for Reinforcement Learning