Adding proposition and final flags