Correct typed formulas from second course

Hi @sashaizenia and @Rashmi,

This is all we have.

Cheers,
Mubsi