Use tasty-th to find properties