Fixed Lamport's example: process ids must be positive