Proofs: Knight J