Non-monotonic reasoning by Tan