user-friendly documentation that evolves alongside the codebase. Temporal Logic Programming (TLP) A programming approach that considers the broader context of code execution, including user behavior,