conditional conclusions; prettier