checkpoint for working tex