gibbard 4