TAG:bgroup begindivpropositionbegintext endtext

;
Success message!