require('proof')(1, function (assert) {
    var Legislator = require('../../legislator')

    function run (messages, leaders, stop, count) {
        stop = stop == null ? Infinity : stop, count = count || 0
        messages.forEach(function (message) {
            console.log(0, message)
        })
        for (var i = 0; messages.length && i < stop; i++ ) {
            messages = Legislator.synchronous(messages, legislators)
            messages.forEach(function (message) {
                console.log(count + i + 1, message)
            })
        }
        return messages
    }

    var legislators = [ new Legislator(0) ]
    var messages = legislators[0].bootstrap()

    var messages = Legislator.synchronous(legislators, 0, messages, function (count, id, message) {
        console.log(count, id, message)
    })

    assert(legislators[0].government, {
        leader: 0, majority: [ 0 ], members: [ 0 ], interim: false
    }, 'bootstrap')

    legislators.push(new Legislator(1))

    var messages = legislators[1].sync([ 0 ], 20)

    var messages = Legislator.synchronous(legislators, 1, messages, function (count, id, message) {
        console.log(count, id, message)
    })
    console.log(messages)

    legislators[1].log.each(function (entry) {
        console.log('entry', entry)
    })

    assert(legislators[1].government, {
        leader: 0, majority: [ 0 ], members: [ 0 ], interim: false
    }, 'bootstrap')
})


/*
Legislator.prototype.markLastest = function (entry, type) {
    if (Id.compare(this.last[this.id][type], entry.id) < 0) {
        this.last[this.id][type] = entry.id
    }
    entry[type] = true
}
*/

@@ -10,17 +10,17 @@
 proof')(
-1
+2
 , functi
@@ -1425,224 +1425,26 @@
 %7D, '
-bootstrap')%0A%7D)%0A%0A%0A/*%0ALegislator.prototype.markLastest = function (entry, type) %7B%0A    if (Id.compare(this.last%5Bthis.id%5D%5Btype%5D, entry.id) %3C 0) %7B%0A        this.last%5Bthis.id%5D%5Btype%5D = entry.id%0A    %7D%0A    entry%5Btype%5D = true%0A%7D%0A*/
+synchronize join')%0A%7D)
 %0A

Fix `bootstrap.t.js` and tidy.