Add wrapper to proposition to avoid explicit use of shared_ptr