So… It’s been some time. 2019 has unfortunately kept me far too busy to work on translation projects of any sort, but here’s hoping next year will be less hectic. Where did this y…

universal quantifier