https://whitneyibeblog.com/7-lovely-logics/