[bojan]

Yep. lower transistor is redundant here (unless it is so called parasitic transistor, part of the chip)