Basic Logic Examples