Title: Methods of logic