error: Copyright by A. Laudan 2016. All rights reserved.