Taking you to the card → The use case ladder: generation, synthesis, execution, maintenance