Rename `axiom` into `hypothesis` in task printing
I wanted to suggest that for a very long time. The question asked by Burkhart at the seminar this morning shows clearly that it must be done
I wanted to suggest that for a very long time. The question asked by Burkhart at the seminar this morning shows clearly that it must be done