(5) can be reached like this