If an API works over HTTPS, uses GET, POST, PUT, PATCH, DELETE as intended, and exchanges JSON, will it always be RESTful?