Learn about dependent types and then hit an undecidable or incomplete problem lol