(n)conversea proposition obtained by conversion