Validating "rewalls using #ow logics