K. and K. contend that there are two types of predicates, viz. factives and non-factives. Predicates like 'significant' and 'regret' (as in 'It is significant that he has been found guilty' and 'I regret that it is raining') are said to be factives because they presuppose that what is expressed in the subsequent that-clauses is a fact, which is not the case with predicates like 'likely' and 'suppose' (as in 'It is likely that he has been found guilty' and 'I suppose that it is raining') which are therefore called non-factives.