Discipline in SI/DASL