(wip) [variational] lower likelihood bound