more progress on bit filter algebra