added message and cancellation specification