@shivvi You must be the resident inhouse logician