4 \land \log_4