Verified back-propagation >:3