i dont think anyone stated that 4bet small is > than 4bet push in this situation.