Worked example from PyKE - KIC 008478994