corrected interleaving figure
revised safety and liveness properties
working on presentation