Short notes from projects: payments, dates, timeouts and checking models.