tdb:th105 04/en-google

On the B refutation