File:Logical Framework for WikiEducator.pdf