prof logic and function complete