https://taraincayman.blogspot.com/2020/04/free-read-semantics-with-applications.html