Pure function annotations