Wow I cannot believe I’m seeing an applied category theorist role. Good for you guys.