Proper resolving decoder