Appendixfor Don't PourCerealintoCoffee: Differentiable TemporalLogicforTemporalActionSegmentation