An exercise on the internal logic of legal systems · Study