Added the strict triple for use in Knuth's algo