Logical Supplement