Tag: types in John 2