cook-hard

[Implementation] Thorough implementation with maximum verification