Working with the Logical Framework (under duress or by desire)