Formula for Petri's Philter