手続きはオブジェクトに対して有用な同値関係を定義する。仕様はすべての実装系で満たされていなければならない。あると定められている場合。異なる振る舞いをする(異なる値を返す。振る舞いが規定されない場合である。戻り値は真偽値でなければならないということだけである。呼び出し結果は、それぞれに内部的なカウンタがあり、毎回異なる手続きを返さなければならない。手続きは呼び出されると常に同じように振る舞う手続きを返す。この同値性を検知できないかもしれない。#f実装系は適切な場合に定数間の構造の共有してもかまわない。節で触れたように、定数は任意の時に、実装系によって同時に異なる場所に複製されることもある。値は実装系依存になる時がある。細やかな区別ができる。シンボル、真偽値、空リスト、対、手続き、空でない文字列、バイトベクタ、ベクタ、構造体には同一の振る舞いをすることが保証されている。述語は空ベクタ、空バイトベクタ、空文字列に対しても異なる振る舞いをすることがある。