doc for pingui if