They gave enough detail that its clear from context what 'had to' meant.