If `T` is in both `in` and `out` positions, you ha...
# announcements
o
If
T
is in both
in
and
out
positions, you have to have it invariant