High courts in Spain do not establish what for lower court rulings