$PROVE

Short entry point 1.5

SL 1.6