TBoxRaesonerImpl simplified