work on full ~ FULL -> front ~ FRONT /\ back ~ BACK. tough -- stuck on front ~ FRONT proof. am i going the wrong way? how to do induction? also proved bits_bytes_bits by brute force