ยง Uniform proofs, focused proofs, polarization, logic programming