Logical Notes