logic is useful.