at first all colleges in cambridge were known as 'halls' or 'houses' and then later changed their names from 'hall' to 'college'. however, when henry viii founded trinity college, cambridge next door, it became clear that trinity hall would continue being known as a hall. the new foundation's name may have been a punishment for the college's master, stephen gardiner, who had opposed the king's remarriage and had endured much of the college's land being removed. it is incorrect to call it trinity hall college, although trinity hall college (lower case) is, strictly speaking, accurate. a similar situation had existed once before when henry vi founded king's college (in 1441) despite the existence of king's hall (founded in 1317). king's hall was later incorporated in the foundation of trinity college in 1546.