Bitsmith at Informal Systems