A proposition obtained by conversion.