% The done action can be reached

<true*.done> true