johnlock-deductions-more-like-dedicktions