Interactive design fault location etc by Theeuwen