Simplified Witness Tree Arguments