Remembered 'return None' in specifications