Tagged laudan-properties