Setting up decision variables