Add pre-condition