Simpler functions and logics.