tex theory 1+2ab from carsten