Adding Logic.v to b