basic definition checking