https://5dok.net/document/yng9gjj1-ν-a-for-all-a-b.html