Frege interface to Android