a False could be obtained with `acot(I)`

Although what you have written with the Symbol as the argument, it would be easier to read with a single symbol named `p`, instead.