Move predicates and document Lockfile