predicate lock - notes.kekeho.net