Proof-Like (Shiny)