playground/pvs/mybabyv2.prf

(mybabyv2
 (mybabyIsMe 0
  (mybabyIsMe-1 nil 3863656511
   ("" (lemma "everybodyLovesMyBaby") (("" (postpone) nil nil)) nil)
   nil shostak)))