inn^lifta pi [ jobj ).