Three levels of implication are: