Yes but it is in the best interest of the node operators to behave well in that way, so it's reasonably trustworthy even without protocol-level guarantees.