pretty printing + syntax for ifWithin