revised type Tale to Tail, revised formular x to s