Extractions in Lamport