Added a Lamport Queue and a couple lines of code