Comment by Bl_for_life_tt on semesimp

Comment on Replysemesimp