BASE s t = BASE s t