$PROVE
Titik masuk singkat 1.5
SL 1.6