Canton-S substrains in Buridan's paradigm