remove some false preconditions from unchecked functions...