An4log – Definitions