Send out correct message on proved properties