First functional automplete logic