feat(basics): add "proof by reflexivity" section