technically a blog

#formal methods