AAppendix: AdditionalBackground, Derivations,andAlgorithmDetails A.1 LOLAwithDirectUpdate