New posts in Sequential Logic