I think formal verification is a super interesting field, but this is a non-starter for me because I do not have a backwards E on my keyboard