SMS: Methods of logic