cd
ps
ll
whoami
article
academic
G1T1
calculus
0-pre
1-func
2-prop
0-boundedness/
1-monotonicity/
2-odd_and_even/
3-periodicity/