add example usage of (valid-ticket? ..) to doc