Symbolic Logic 72277-001