Prof. Jose Luis Huertas during his lecture on testability.