procedural detail tex