Symbolic Logic 30591-001