take - ConwayOne ; :: thesis: - ConwayOne is negative
thus - ConwayOne is negative ; :: thesis: verum