With the premise 'All of this is a minor irritation to the user, but Philip Gove wanted to save space at all costs.', is 'Philip Gove wanted to save space.' a logical derivative?
All of this is a minor irritation to the user, but Philip Gove wanted to save space at all costs.###Philip Gove wanted to save space.