08/03/2021 (things i learned)
- reflecting laser around            ____
- pin, fixed and roller joints /_\, /////, O
- how many equations to determine a system with n dimensions? 6 for n=3
- searching "full penetration butt" just gives you a bunch of engineering stuff
- further maths really is a blessing for engineering maths loll
- university stuff aren't worded as well as u'd think :/
- i see, changed GuruhBurung settings to plain text. .eml files r interesting
- perfectoid spaces project smaller than i imagined, but mustvebeen lots of work
- Happy International Women's Day! Learnt about Hari Ibu in Indonesia

```
instance : has_pow ℕ ℕ := ⟨λ a b, 37⟩
theorem flt (a b c n : ℕ) :
  a > 0 ∧ b > 0 ∧ c > 0 ∧ n > 2 → a ^ n + b ^ n ≠ c ^ n :=
begin
  intro h, exact dec_trivial,
end
```