Typed up some objectives