True p

True pTrue pTrue pTrue pTrue pTrue p
True pTrue pTrue pTrue pTrue pTrue p
True pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue pTrue p