Source: https://ltl.ca/pdf/LTL-catalogue-2017.pdf