Use cases typed out