one more step toward S1 = Suspension Bool