Title: Ordinary Logic