p_without_logic