From visual reasoning to logical necessity through argumentative design · Study