prop and ConDestr