https://www.robinsloan.com/lab/specifying-spring-83/ https://github.com/robinsloan/spring-83-spec/blob/main/draft-20220609.md