We first identify a set of uncontroversial invalid behaviours. Those violate the sc per location check.