export const imply = <P, C>(premise: P, conclusion: C) => !premise || conclusion