4/4 Singular support of coherent sheaves