oops, sorry about the capital letter! I changed the name (removed the rules) and added the ?~! (it's always better two have two messages instead of having None, I don't knwo if it returns an Empty)