= Pcal verification =