inv { Tr : ?.