Adding Two Binary Strings In Python Documentation Functions And Relations