lib.aca55a/logical-framework archive