Define future state
(
)