More Dismin

Few more random bits from Dismin.