Add LCF-Notation post

Not finished