changed liveness adding from LTL to english