mathematics can be satisfy