Doing general vibe math in Programming Language Theory