PP LOGIC PROBLEMS