Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings