proposes => provides