pr i X ) : de ;;