nalogs as spec