added assertion of description != null in Logic