Title: Im Symbolic Logic