 When concerned with formal logic, the BIO interface thus has purely strategic considerations, and is not much concerned by the play level. In this respect, the disappearance of the opponent in deductive proofs is justified through the strategic focus: Prover does not actually need Skeptic if Prover is careful enough in carrying out the deductive method (making gap-free proofs).