(* ghpdJhm lk ],k pkJhk && ,ghpkJJhk pdJJhm *) andand lk pdJJhm
(* ghpdJhm lk ],k pkJhk && ,ghpkJJhk pdJJhm *) andand