let
p_bool =
PRED
.p_bool