Semadic indentity

by Tyler Nixon