@SensfleckTypriv to add, i specifically feel this way for cities. no right on red is a bylaw in montreal and i think its a good thing, but its fine where theres less cars/people
@zoe_bye@wife_geist math is generally only verifiable if ur using theorem provers (ala lean or rocq) and llms arent that great at that yet (although i think they can and will be)