Program schemas with equality

purl.stanford.edu/hw921xt9932