11.2 Structural and Temporal Properties