Laws of logic