Propositions: add more logic to trigger flog
Propositions: Add example with both duplication & complexity, and a possible refactor