add dummy figure for if-then-else
goal discussion revisions
revise inference goal