SMS: Tractatvs Logicvs;