Model Solution: Semantics of Conditionals