Fitch proof problem maker