redundabatur