stable lamport imo