この資料をSMS送信: Towards a small model theorem for data independent systems in Alloy