more on latex, longer minimal example