Permalink for Post #5

Thread: Random LTL Rants (all are welcomed)