Small clarification about outgoing_state
Added incoming_state abstraction