Fail-Closed Logic