semimathematically

not defined yet