here's something to think about.........

{true} bored = sian {bored == nothing to do} based on assignment axiom

{nothing to do == zuobo} something to do = nothing to do {something to do >= zuobo}
since (something to do == zuobo) then (something to do >= zuobo)

{true} bored = sian {bored == zuobo} by assignment axiom
{bored == zuobo} nothing to do = sian {bored == zuobo ^ nothing to do == sian}
therefore, {true} bored = sian; nothing to do = sian {bored == zuobo ^ nothing to do == sian}

i dun understand it either..............sometimes i feel like im not on this earth anymore.............shit.........cant find my brain