Extension of Salman's TDD example