logical functions implemented