If we think of an 'alternative', or rather of its elements, as represented by statements, then we can describe the turning up of heads by the statement 'k is heads', and its failure to turn up by the negation of this statement.