Updated memoization specs