truth y = %t