implemented <-operator for hypothesis