This primitive reports true when its first input logotime1 equals either of the next two inputs. This should be explained in the documentation.