I just finished the project proposal for my undergrad thesis! I've decided that I'm gonna work on something very different than my usual thing: paraconsistent logic, in particular, the types developed by Newton da Costa (Brazilian mathematician). Seems kinda fun and really counter intuitive, looking forward to studying this stuff.