Finish (?) B1-B5 constraints, B5 untested stil though