#![allow(dead_code)]
use std::sync::Arc;
use std::sync::Mutex;
use std::error::Error;
struct ComputableProposition;
struct ExecutionTrace;
struct ExeuctionTrace;
struct ExperimentalData;
struct ExperimentalSetup;
struct Justification;
struct LanguageProposition;
struct LogicalProof;
struct DecidableLogicalProposition;
struct MathProof;
struct MathProposition;
struct MethodologyConstraints;
struct PeerReviewProcess;

struct ScientificTheory {
 restricted_claim: MathProposition,
 context: ExperimentalSetup,
 support: ExperimentalData,
 controls: ExperimentalData,
 observation_error: MethodologyConstraints,
 // ... more caveats and details ...
}

trait HonestSolver {
  fn solve(p: DecidableLogicalProposition) -> (bool, LogicalProof);

  fn solve_if_possible(p: MathProposition) -> Option<(bool, MathProof)>;

  fn try_to_solve_if_possible(p: ComputableProposition) -> Result<Option<(bool,ExecutionTrace)>, Box<dyn Error>>;

  fn try_to_solve_socially_if_possible(p: LanguageProposition) -> Arc<Mutex<Result<Option<(bool,Justification)>, Box<dyn Error>>>>;

  fn try_to_establish_scientifically_if_possible(p: LanguageProposition) -> Result<Option<ScientificTheory>, Box<dyn Error>>;

  fn try_to_establish_scientifically_and_establish_socially_if_possible
    (p: LanguageProposition, p: PeerReviewProcess) ->
        Arc<Mutex<Result<Option<ScientificTheory>, Box<dyn Error>>>>;
}

fn main() {println!("This won't be easy.");}