Notes

Learning is a struggle…

• Why Do We Only Quantify Kind \(\star\) in \(F_\omega\)?