A simpler version of cut for just implications