How do you solve x-7>23?