reformulate statement on robustness
write on higher level description vs. bit ops
reformat code