Additional comments

Describes logic of <<- operator for future reference