- groups topic not here
- Group Theory lectures missing
- can "everyone liked by someone" is written as "someone likes everyone " then we can simply write "for all y[there exist likes(y,x)]
- Doubt about example shown in video
- at 24:22, pls explain
- problem related to video
- Example 2 is an example of logically implication ?