Title: Relaxing the value restriction