Supplementary Material: A Boolean Task Algebra For Reinforcement Learning