K-equivalence (#531) - Basecamp