Proven Supervised Learning