Lipson et al.