The sum of two binary strings