added instance list for propostition