try out case distinctions