stated tieing in old logic: