Adam C. Libman, CRTP