There is a VERY fine line between hitting a robot that produces a tip and continuously pushing a robot after it begins to tip.
5012 performed hit without intent to flip (as determined by the refs at that moment)
5089, as determined by the refs at that moment, intentionally pushed 3863, causing 3863 to flip in
QF4-3 at Los Angeles. The red alliance got a red card for that match due to the flip.