They made a public example out of them and thus formalised the actual reason for their dismissal. So that is not in any doubt.