Let's say Alice has Project A, which is licenced under the AGPL, and Bob has Project B, which is also licenced under AGPL.
Bob sees a function in Project A that looks very useful, and wants to copy it to Project B, citing the original source in a comment.
Can Bob do this, or is it against the terms of the AGPL?