https://profilbaru.com/en/Boolean_valued_function