work on logic specification
start with logic description of Bitwalker